Contrôle de systèmes symboliques, discrets ou hybrides

pto Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (UMR 6074) Université de Rennes 1 – Insa de Rennes et en Automatique – unité de recherche de Rennes Supervisory Control of Discrete or Hybrid Symbolic systems Abstract In this paper we tackle the safety controller synthesis problem for various models ranging from nite transition systems to hybrid systems Within this framework we are mainly interested in an intermediate model the symbolic transition system Modeling requirements lead us to rede ne the concept of controllability by applying it to the guards of symbolic transitions instead to events We then de ne synthesis algorithms based on abstract interpretation techniques so that we can ensure niteness of the computations We nally generalize our methodology to the control of hybrid systems which gives an uni ed framework to the supervisory control problem for several classes of models